منابع مشابه
Checking Class Schema Usefulness
In this paper we introduce a structural and object-oriented model. We present applications of this model to the checking of some ill-formed classes. We focus on static class diagrams mixing inheritance and composition relations. We consider an approach based on the notion of class usefulness, i.e. finitely generated and with at least one defined value. We show that this allows us to eliminate s...
متن کاملType Checking with XML Schema in XACT
We show how to extend the program analysis technique used in the Xact system to support XML Schema as type formalism. Moreover, we introduce optional type annotations to improve modularity of the type checking. The resulting system supports a flexible style of programming XML transformations and provides static guarantees of validity of the generated XML data.
متن کاملChecking Containment of Schema Mappings (Preliminary Report)
In data exchange, data are materialised from a source schema to a target schema, according to suitable source-to-target constraints. Constraints are also expressed on the target schema to represent the domain of interest. A schema mapping is the union of the source-to-target and of the target constraints. In this paper, we address the problem of containment of schema mappings for data exchange,...
متن کاملTowards Checking the Usefulness of Verification Tools
Building verification tools is what researchers in the field are good at, but evaluating if they are actually useful and useable is often a much harder problem. We propose a very simple idea to address this problem, namely, a framework in which we capture what a programmer does during a programming exercise and mechanisms to then allow us to incorporate verification (including testing) tools to...
متن کاملClass Versioning for the Schema Evolution
In schema evolution, a versioning mechanism can be provided for the management of versions of a schema. However most approaches do not fully explore polymorphism in the context of versioning. To deal with this problem, we present an algebra of versioning that is used to perform complex versioning operations. Then, the result of the operations can be made persistent in versions. All versions tha...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2004
ISSN: 1660-1769
DOI: 10.5381/jot.2004.3.1.a4